Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

all: smoother feedback search (fixes #3823) #7789

Merged
merged 4 commits into from
Nov 18, 2024

Conversation

jessewashburn
Copy link
Member

@jessewashburn jessewashburn commented Nov 15, 2024

@jessewashburn jessewashburn linked an issue Nov 15, 2024 that may be closed by this pull request
@dogi dogi changed the title feedback: reset button switched to clear and disabled by default (fixes #3823) all: smoother feedback search (fixes #3823) Nov 18, 2024
@dogi dogi merged commit c2f36b7 into master Nov 18, 2024
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Reset should be consistent in overall application
5 participants